An independence result concerning infinite products of alephs.
نویسندگان
چکیده
منابع مشابه
an infinite planar array of rectangular microstrip patch antenna analysis
the methods which are used to analyze microstrip antennas, are divited into three categories: empirical methods, semi-empirical methods and full-wave analysis. empirical and semi-empirical methods are generally based on some fundamental simplifying assumptions about quality of surface current distribution and substrate thickness. thses simplificatioms cause low accuracy in field evaluation. ful...
15 صفحه اولAn independence result for (II11-CA)+BI
In Kirby and Paris [5] it was shown that a certain combinatorial statement (conceming finite trees) is independent of Peano Arithmetic. Here we present a not too complicated extension of tbis statement and prove its independence from the riluch stronger theory (II~-CA) + BI. This is done by refining the methods which we have developed in [2, Ch. IV, §1-§4]. Using the terminology of Kirby and Pa...
متن کاملCountable Fréchet Boolean groups: An independence result
It is relatively consistent with ZFC that every countable FUfin space of weight א1 is metrizable. This provides a partial answer to a question of G. Gruenhage and P. Szeptycki [GS1].
متن کاملAn Independence Result for Intuitionistic Bounded Arithmetic
It is shown that the intuitionistic theory of polynomial induction on positive Π1 (coNP) formulas does not prove the sentence ¬¬∀x, y∃z ≤ y(x ≤ |y| → x = |z|). This implies the unprovability of the scheme ¬¬PIND(Σ 1 ) in the mentioned theory. However, this theory contains the sentence ∀x, y¬¬∃z ≤ y(x ≤ |y| → x = |z|). The above independence result is proved by constructing an ω-chain of submode...
متن کاملInfinite Products of Infinite Measures
Let (Xi, Bi, mi) (i ∈ N) be a sequence of Borel measure spaces. There is a Borel measure μ on ∏ i∈N Xi such that if Ki ⊆ Xi is compact for all i ∈ N and ∏ i∈N mi(Ki) converges then μ( ∏ i∈N Ki) = ∏ i∈N mi(Ki)
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1978
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093888316